<?php

require_once "../ourDate.php";

define("PHPCOVERAGE_HOME", "C:\Users\Michael\Desktop\spikephpcoverage-0.8\src");
require_once PHPCOVERAGE_HOME . "/CoverageRecorder.php";
require_once PHPCOVERAGE_HOME . "/reporter/HtmlCoverageReporter.php";

$reporter = new HtmlCoverageReporter("Code Coverage Report", "", "date_coverage");

$includePaths = array("../date.php");
$excludePaths = array("date_cov.php");
$cov = new CoverageRecorder($includePaths, $excludePaths, $reporter);

$cov->startInstrumentation();

//$currentDate = ourDate::getDate();
$currentDateStr = ourDate::getDateString();
$dateSql = ourDate::getDateSQL();
$formattedDate = ourDate::formatDate($currentDateStr);

$cov->stopInstrumentation();

$cov->generateReport();
$reporter->printTextSummary();

?>